A Method for Executable Protocol Conformance Test Sequences Generation using Parametric Executable Analysis Tree

Automatic generation of executable test sequences is one of the key issues in conformance testing for protocols specified in extended finite state machines (EFSM). The traditional test generation methods based on the executable analysis tree, generally require the initial assignment of variables in the EFSM under testing. Unfortunately, how to select the initial value for input variables is a challenging problem. To address the above issues, this paper presents a novel method which automatically generates an executable test sequence without the initial value assignment using parametric executable analysis tree (PEAT). Our method introduces a variable constraint equation group (VCEG) and its standardization technique to derive the constraint relationship among variables regarding to a generated test sequence. Then, relying on a VCEG, a PEAT is constructed to develop the executable test sequences with a suite of variables constraints. As a result, the problem of executable test sequences generation is reformulated to a PEAT exploration problem. The experimental results show the effectiveness of the proposed approach for executable test sequences generation.